بررسی تکواره هایی که همه عمل های روی آنها که درشرط (p) صدق می کنند، یکدست قوی هستند.

درسال 1992بولمن-فلمینگ در[2]تکواره هایی مانند sکه درآن دوخاصیت یکدستی متمایزs-عمل هاباهم یکی می شوندراموردمطالعه قراردادوهمچنین ثابت کردکه هرs-عمل راست دوری که درشرط(p)صدق می کند،یکدست قوی است اگروفقط اگرsغیردورهای باشد.درهمان مقاله بولمن-فلمینگ یک مسئله بازمطرح کرد:چگونه تکواره هایی راکه همه عمل های روی آنها که درشرط(p)صدق می کنند،یکدست قوی هستند،دسته بندی کنیم؟ونیز درآن مقاله بولمن-فلمینگ ثابت کردکه اگرsیک تکواره خودتوان یانیم گروه صفر(پوچ)باالحاق1باشد آنگاه همه عمل های روی آنها که درشرط(p)صدق می کنند،یکدست قوی هستند.کیائودرسال 2002،[7]،و لی وکیائودرسال2004،[8]،نتایج قبلی راتعمیم دادند ودسته های جدیدی ازتکواره هارابه دست آوردند که درآنهاهرs-عمل راستی که درشرط(p)صدق میکند یکدست قوی است.در این پایان نامه،دسته های جدید دیگری از تکواره هایی که در این شرایط صدق می کنند(توسط کیائو و لی در سال 2009،[9]) مطرح خواهند شد وبه دسته بندی تکواره هایی که عمل های روی آنها که در شرط (p)صدق می کنند،یکدست قوی هستند پرداخته میشود و تعدادی از مقالات مطرح شده توسط بولمن-فلمینگ و کیائو و لی در این زمینه و همه نتایج قبلی مورد مطالعه قرار خواهند گرفت.